منابع مشابه
The Sat 4 j library , release 2 . 2 system description
Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a modular SAT solver architecture designed to work with generic constraints. Such architecture is used to provide SAT, MaxSat and pseudo-boolean and solvers for lightweight constraint programming. Those solvers have been evaluated regularly in the corresponding international competitive events. The library has been...
متن کاملSystematic Review of Articles of Public Library Location with Geographic Information System
Purpose: Systematic review of research texts in the field of locating Iranian public libraries using GIS. Based on this, the components of interest in locating public libraries in Iran are determined based on research texts. Methods: In terms of practical purpose and based on systematic study with Prisma model. Relevant keywords were searched and 372 research articles were retrieved to collect...
متن کاملInteractive Learning with a Digital Library in Computer Scienc
We have developed tools, expanded our digital library systems and content, and built almost 5000 “pages” of WWW-accessible courseware, increasing the interactivity and quality of learning about computer science. Evaluation has shown that learning practices have changed, most students are happy with the emerging infrastructure and pedagogy, and there is growth in both local and remote access to ...
متن کاملJavaVis: An integrated computer vision library for teaching computer vision
In this article, we present a new framework oriented to teach Computer Vision related subjects called JavaVis. It is a computer vision library divided in three main areas: 2D package is featured for classical computer vision processing; 3D package, which includes a complete 3D geometric toolset, is used for 3D vision computing; Desktop package comprises a tool for graphic designing and testing ...
متن کاملA Library System for Small-Scale Library
In this paper, we explain a library system for small-scale libraries. This system uses books and face images for administration of lending and returning books. Users can borrow books by facing the front of the camera, presenting the book, and clicking the "Borrow" button. When returning books, users are required to click the "Return" button in the same way as on borrowing. The librarian can che...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Igaku Toshokan
سال: 1983
ISSN: 0445-2429,1884-5622
DOI: 10.7142/igakutoshokan.30.140